discrete math relations example